🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·6h·
Discuss: www.blogger.com
🌳Persistent Data Structures
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Introductory Computer Science and Software Engineering Topics
albertyw.com·1d
🛠Language Design
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
Extensions and Shadows (9)
sites.psu.edu·1d
✨Effect Handlers
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·12h
✅Archive Validation
Design Arts Medias | Designing with Abstractions: CSS and the Case of Masonry Layouts
journal.dampress.org·4h
📖Nordic Typography
How the Lean language brings math to coding and coding to math
amazon.science·1h·
Discuss: Hacker News
🔬Lean
Why Computer Science Is No Good, Redux
cacm.acm.org·2h
🎯Performance Proofs
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·3h
🧮Kolmogorov Complexity
Linear Types for Programmers
twey.io·3d·
Discuss: Hacker News
🔒Linear Types
Pragmatism in Programming Proverbs
gingerbill.org·10h·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
How Teen Mathematician Hannah Cairo Disproved a Major Conjecture in Harmonic Analysis
scientificamerican.com·1d
📐Mathematical Art
Relative Completeness of Incorrectness Separation Logic
arxiv.org·15h
🧠Separation Logic
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
In Support Of Shitty Types
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News
🎯Gradual Typing